Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
11	Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗ Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2014-05-15 19:14:45 Logic programming Mathematical logic Constraint programming Logic in computer science Programming paradigms Satisfiability modulo theories Answer set programming Stable model semantics G-code Subroutine Analogy Algorithm
12	1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-02-12 03:52:22 Logic programming NP-complete problems Operations research Constraint programming Answer set programming Logic in computer science Boolean satisfiability problem Algorithm Solver Stable model semantics AMPL Constraint satisfaction problem
13	Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2010-07-23 11:18:02 Logic programming Answer set programming ASCII Coala Linear temporal logic Stable model semantics
14	Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-04-02 08:23:44 Computing Answer set programming Stable model semantics Prolog DLV Constraint satisfaction Logic programming Software engineering Computer programming
15	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
16	National Math Panel Meeting Aurora, Illinois Friday, April 20, 2007 Statement Kevin C. Killion Director, The Illinois Loop Add to Reading List Source URL: www.illinoisloop.org Language: English - Date: 2007-09-06 12:52:24 Standards-based education New Math Modal logic Knowledge Dynamic logic Stable model semantics Education reform Mathematics education Illinois Loop
17	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
18	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
19	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
20	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing